AI又攻克了一个40年数学猜想
AI又攻克了一个40年数学猜想Shengtao Guo、Ethan X. Fang和Junwei Lu署名的预印本论文宣称利用Odin Automatic AI Research Agent证明了悬而未决40年的Komlós猜想并给出常数界3√(2π),次日陶哲轩等25位菲尔兹奖得主发表联合声明《AI在数学中的严重失准》,警告AI证明速度已远超学界验证与消化的能力。
搜索
Shengtao Guo、Ethan X. Fang和Junwei Lu署名的预印本论文宣称利用Odin Automatic AI Research Agent证明了悬而未决40年的Komlós猜想并给出常数界3√(2π),次日陶哲轩等25位菲尔兹奖得主发表联合声明《AI在数学中的严重失准》,警告AI证明速度已远超学界验证与消化的能力。
Anthropic CEO Dario Amodei发文呼吁为前沿AI限速并提出驻场评估、国家与全球协同三步方案,获OpenAI CEO奥特曼和马斯克罕见力挺,同时承认全球限速最终离不开与中国协调。
GPT-6爆火的人体解剖3D案例被扒出实际调用了现成3D数据集素材而非真正生成,文章作者通过GPT-6搭配Hyper3D MCP,用Codex调用Hyper3D Rodin模型实际复刻出可交互的3D人体拆解网页,并延伸制作了可拆装蒸汽甲壳虫、橘猫子弹时间、骑楼街景和影子解谜游戏等多种3D交互作品。
阿里将领投AI评测公司UniPat AI 3亿美元融资使其估值达25亿美元,该公司由前阿里员工创办,通过设计基准测试、专业训练数据和Echo未来预测验证系统,为中国大模型提供高质量监督以应对算力约束。
知乎AI Works项目广场上线三个月以来已沉淀超过2600个AI项目,涵盖AI工具、智能体、游戏、知识库等多种类型,开发者借助知乎数据开放平台和开发工具,在科技、人文、历史等多元领域完成了从创意到产品的落地实验。
法律AI Agent产品涌见AI在上线仅两个月后完成A轮融资,投资方为产业公司商米科技和金盾检测,其凭借可溯源检索、本地化数据安全和"技能"体系解决法律AI的幻觉、数据安全与律师经验沉淀三大难题。
在2026外滩大会期间,蚂蚁集团旗下健康AI应用"蚂蚁阿福"公布最新用户数达1.5亿,单日健康咨询近2000万人次,已接入华为、苹果健康、小米等18大主流品牌智能硬件,成为全球用户量最大的健康AI App。
智能体商业的 ChatGPT 时刻正在到来,但要让 AI 真正替人办成事,必须先补上代码自主交易的信任基石。 作者|徐珊 编辑|郑玄 在蚂蚁集团,负责 AI 支付安全的陈树鹏是个深度的智能体使用者。日
百度秒哒升级企业版,新增三级组织架构、精细化权限管理与本地部署能力,同时上线AI Coding商单平台连接企业与创作者,让没有技术团队的小企业也能搭建跑通核心业务的企业系统。
蚂蚁数科在外滩大会披露其AI To B业务实现三位数增长,以智能体平台Agentar为核心推出智能体超级工厂推动企业智能体工业化生产,并联合十多家单位启动智能体身份管理(KYA)国家标准化技术文件立项,布局智能体经济可信入口。